TSTP Solution File: QUA010^1 by Refute---2015